Characterising FS domains by means of power domains
نویسندگان
چکیده
منابع مشابه
Characterising FS domains by means of power domains
We present two characterisations of FS domains, using the upper and the lower power domain construction, respectively. These characterisations have a common structure and thus can be generalised from the two power constructions to arbitrary premonads. The resulting classes of domains are considered in general, and some special instances are studied in greater detail. They form classes of domain...
متن کاملA note on the problem when FS-domains coincide with RB-domains
In this paper, we introduce the notion of super finitely separating functions which gives a characterization of RB-domains. Then we prove that FS-domains and RB-domains are equivalent in some special cases by the following three claims: a dcpo is an RB-domain if and only if there exists an approximate identity for it consisting of super finitely separating functions; a consistent join-semilatti...
متن کاملStrongly Semicontinuous Domains and Semi-FS Domains
We are mainly concerned with some special kinds of semicontinuous domains and relationships between them. New concepts of strongly semicontinuous domains, meet semicontinuous domains and semi-FS domains are introduced. It is shown that a dcpo L is strongly semicontinuous if and only if L is semicontinuous and meet semicontinuous. It is proved that semi-FS domains are strongly semicontinuous. So...
متن کاملMetric spaces and FS-domains
In this article we give general conditions on ametric space to insure that the poset of closed formal balls is an FS-domain. © 2008 Elsevier B.V. All rights reserved.
متن کاملCharacterising Domains for Constructive Expert Systems
Expert systems technology arose initially from problems of diagnosis or pattern recognition but there have been fewer examples of successful synthesis systems. Constructive expert systems address such problems, particularly the problem of design. Two example expert system are presented, one of which (DOLMEN) supports the preliminary design of high rise buildings, and the other (JSD Advisor), wh...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2001
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(00)00222-x